Graph rewriting - PDFSEARCH.IO - Document Search Engine

Graph rewriting
Results: 134

#	Item
21	M Machine Recognition of Objects Tomaso Poggio and Shimon Ullman Department of Brain and Cognitive Sciences, McGovern Institute, Massachusetts Institute of Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2015-04-11 07:17:47 Graph theory Mathematics Discrete mathematics Graph edit distance Graph rewriting Graph Outline of object recognition Conference on Computer Vision and Pattern Recognition Matching British Machine Vision Conference Graph coloring Skew-symmetric graph
22	Monoidal Theories and Graph Rewriting in Quantum Computing Aleks Kissinger Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2009-11-09 13:01:36
23	An Overview of the GXL Graph Exchange Language Andreas Winter, Bernt Kullbach, and Volker Riediger Universit¨ at Koblenz-Landau Add to Reading List Source URL: www.gupro.de Language: English - Date: 2005-04-26 06:11:22 Computing GXL Data Mathematics GraphML Graph rewriting Hypergraph Graph
24	Graph Rewriting for Classical Structures University of Edinburgh Edinburgh, Scotland, UK Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2008-09-12 14:05:40
25	An Overview of the GXL Graph Exchange Language Andreas Winter, Bernt Kullbach, and Volker Riediger Universit¨ at Koblenz-Landau Add to Reading List Source URL: www.gupro.de Language: English - Date: 2005-04-26 06:11:22 Computing GXL Data Mathematics GraphML Graph rewriting Hypergraph Graph
26	Automated Termination Proofs with AProVE? J¨ urgen Giesl, Ren´e Thiemann, Peter Schneider-Kamp, Stephan Falke LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl\|thiemann\|psk}@informatik.rwth-aa Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:55 Theoretical computer science Mathematics Mathematical logic Logic in computer science Rewriting Termination analysis International Conference on Rewriting Techniques and Applications Algorithm Dependency graph Path ordering Polynomial
27	Svetlana Arifulina, Chiristian Soltenborn and Gregor Engels. Coverage Criteria for Testing DMM Speciﬁcations Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2012-03-18 17:20:03 Formal methods Mathematics Software engineering Software development Model checking Graph rewriting RCOS
28	A Variability-Based Approach to Reusable and Efficient Model Transformations Daniel Str¨uber1 , Julia Rubin2 , Marsha Chechik3 , and Gabriele Taentzer1 1 Philipps-Universit¨at Marburg, Germany Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2015-02-20 11:07:37 Predicate logic Logic Graph rewriting Philosophical logic First-order logic Graph Quantification Planar graph FO Graph theory Mathematics Theoretical computer science
29	´ BRICS RSSassone & Sobocinski: Congruences for Contextual Graph-Rewriting BRICS Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-07-01 05:42:29
30	THE COMPLEXITY OF THE FIRST-ORDER THEORY OF GROUND TREE REWRITE GRAPHS ¨ STEFAN GOLLER AND MARKUS LOHREY Universit¨at Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-06-19 07:22:27 Formal languages Automata theory Tree decomposition Graph Tree Structure Rewriting Binary tree Matching Mathematics Graph theory Theoretical computer science